perm filename CIRCUM.PRO[S84,JMC] blob sn#754714 filedate 1984-05-20 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	circum.pro[s84,jmc]	Problems concerning circumscription
C00003 ENDMK
CāŠ—;
circum.pro[s84,jmc]	Problems concerning circumscription

1. How can we make  ostrich Tweety  variable while not making
ostrich  in general variable?

2. How about an example that has a circumscription as a consequence?
Look at MRS.